Code reuse through polymorphic variants∗ Jacques Garrigue November 8, 2000 Abstract Their support for code reuse has made object-oriented languages popular. However,

Source URL: www.math.nagoya-u.ac.jp

• Software engineering
• Computer programming
• Declarative programming
• Functional programming
• Data types
• Type theory
• Eval
• Standard ML
• Anonymous function
• HindleyMilner type system
• OCaml
• Polymorphism

Bachelor Projects in the HIPERFIT Research Center Developing and Improving the “HIPERFIT Portfolio Management Prototype” The “HIPERFIT Portfolio Management Prototype” is a System for Managing and Pricing Portfoli

Source URL: hiperfit.dk

• Software engineering
• Computing
• Computer programming
• Array programming languages
• Functional languages
• APL programming language family
• Object-oriented programming languages
• University of Copenhagen
• UCPH Department of Computer Science
• APL
• Automatic parallelization
• Functional programming

Olympiads in Informatics, 2009, Vol. 3, 60–66 © 2009 Institute of Mathematics and Informatics, Vilnius 60 Moe – Design of a Modular Grading System

Source URL: mj.ucw.cz

• Computer architecture
• System software
• Software
• Sandbox
• Modular programming
• Kernel
• Loadable kernel module
• Moe

Rust for Rubyists Jan-Erik / @badboy_ FrOSCon, RedFrogConf, [segmentation fault (core dumped) ./awesome-prog

Source URL: fnordig.de

• Concurrent programming languages
• Functional languages
• Procedural programming languages
• Object-oriented programming languages
• Rust
• Hello
• Env
• System programming language
• Mozilla
• Ruby

The Bedrock Structured Programming System Combining Generative Metaprogramming and Hoare Logic in an Extensible

Source URL: adam.chlipala.net

Private Row Types: Abstracting the Unnamed Jacques Garrigue Graduate School of Mathematical Sciences, Nagoya University, Chikusa-ku, NagoyaAbstract. In addition to traditional recor

Source URL: www.math.nagoya-u.ac.jp

• Functional languages
• Data types
• Functional programming
• Object-oriented programming languages
• Programming idioms
• OCaml
• Structural type system
• Scala
• ALGOL 68
• Recursion
• Monad
• C++ classes

Fractional Ownerships for Safe Memory Deallocation Kohei Suenaga and Naoki Kobayashi Tohoku University?? Abstract. We propose a type system for a programming language with

Source URL: www-kb.is.s.u-tokyo.ac.jp

ETHZ D-INFK Prof. Dr. B. Meyer, Dr. J. Shin Robotics Programming Laboratory – Assignments Fall 2013

Source URL: se.inf.ethz.ch

• Robotics
• Monte Carlo methods
• Robot control
• Robot navigation
• Monte Carlo localization
• Robot Operating System
• Mobile robot
• PrimeSense
• Particle filter
• Robotic mapping
• Kidnapped robot problem
• Robot

Istation Reading Curriculum Correlated to KANSAS COLLEGE and CAREER READY STANDARDS for English Language Arts and Literacy Grades 6-8

Source URL: www.istation.com

• Logic programming
• RL
• System time
• Computing
• Computer engineering

Fractional Ownerships for Safe Memory Deallocation Kohei Suenaga and Naoki Kobayashi Tohoku University?? Abstract. We propose a type system for a programming language with

Source URL: www.kb.ecei.tohoku.ac.jp